下图所示为一个非确定有限自动机(NFA), S0为初态(S3为终态。该NFA识别的字符串分( )。